INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
نویسندگان
چکیده
منابع مشابه
Invariant Measures Concentrated on Countable Structures
Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable...
متن کاملOn Radon measures on first-countable spaces
It is shown that every Radon measure on a first-countable Hausdorff space is separable provided ω1 is a precaliber of every measurable algebra. As the latter is implied by MA(ω1), the result answers a problem due to D. H. Fremlin. Answering the problem posed by D. H. Fremlin ([4], 32R(c)), we show in this note that, assuming (∗) ω1 is a precaliber of every measurable Boolean algebra, every Rado...
متن کاملUncountable graphs and invariant measures on the set of universal countable graphs
We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and Ksfree homogeneous universal graphs (for s ≥ 3) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random Ks-free graphs). The well-known example of Erdös–Rényi (ER) of the rando...
متن کاملOn Invariant Measures
Given a measurable transformation on a measure space one can ask whether or not there is an equivalent measure that is invariant under the transformation. This problem is discussed very thoroughly in Halmos' Lectures on ergodic theory, pp. 81-90, 97. The first result along these lines is due to E. Hopf who obtained necessary and sufficient conditions for the existence of a finite invariant meas...
متن کاملSimple and immune relations on countable structures
Let A be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy B of A in which the image of R (¬R, resp.) is simple (immune, resp.) relative to B. We also establish, under certain effectiveness conditions on A nad R, a necessary and sufficient condition for the existence of a computable copy B of A in whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Forum of Mathematics, Sigma
سال: 2016
ISSN: 2050-5094
DOI: 10.1017/fms.2016.15